void cleanup(int s);
